TAGs: solve algebraically